---

extended unification algorithm

英 [ɪkˈstendɪd ˌjuːnɪfɪˈkeɪʃn ˈælɡərɪðəm] 美 [ɪkˈstendɪd ˌjuːnɪfɪˈkeɪʃn ˈælɡərɪðəm]

【计】扩展的合一算法

计算机

---

---